Loci: A Deductive Framework for Graph-Based Algorithms

Modern computational uid dynamics (CFD) software is complex. Often CFD simulations require complex geometries, exible boundary conditions, multiple integrated computational models (for example , heat conduction, structural deformations, gas dynamics, etc.), as well as grid adaptation. As a result of this complexity, the correct implementation of numerical simulation components is actually less challenging than guaranteeing the correct coordination of complex component interactions. If one is to consider the development of CFD applications that reliably incorporate a broad selection of numerical models, then one must consider technologies that simplify, automate, and validate the numerical model coordination mechanisms. The Loci framework presented here addresses these issues by introducing a deductive framework for the coordination of numerical value classes constructed in C++.